Efficient Symbolic Execution for Software Testing Johannes Kinder Royal Holloway, University of London Joint work with: Stefan Bucur, George Candea, Volodymyr Kuznetsov @ EPFL

Source URL: www.cs.rhul.ac.uk

Domain-Specific Testing Tools Domain-Specific Testing Tools Lessons learned from the Apache Sling Project Robert Munteanu ApacheCon Core Europe 2015

Source URL: events.linuxfoundation.org

• Software testing
• Extreme programming
• Unit testing
• Test automation
• Mylyn
• Computing

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution

Defensics Build a More Resilient World KEY DEFENSICS FEATURES: • Next-Gen Fuzzing Technology Utilizes template, generation

Source URL: www.codenomicon.com

• Computing
• Software testing
• Computer security
• Security
• Codenomicon
• Vulnerability
• Fuzz testing
• Wi-Fi
• Transport Layer Security
• Bluetooth
• Vulnerability management

Codenomicon_Corporate Backgrounder_2OCT14.indd

Source URL: www.codenomicon.com

• Computing
• Software testing
• Security
• Computer security
• Codenomicon
• Computer network security
• Heartbleed

Employing Classifying Terms for Testing Model Transformations

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Software engineering
• Computing
• Engineering
• Software testing
• Systems engineering
• Software design
• Scientific modeling
• Model-based testing
• ECO
• Metamodeling
• Class diagram

reflections on witty by Nicholas Weaver Nicholas Weaver is a postdoctoral researcher at the

Source URL: www1.icsi.berkeley.edu

• Computer security
• Cyberwarfare
• Computing
• Software bugs
• Computer worms
• Computer network security
• Witty
• Hacking
• Software testing
• Buffer overflow
• Stack buffer overflow
• SQL Slammer

For CompuTrainer™ and Velotron™ RacerMate One - Release Candidate Testing Thank you testing the release candidate of RacerMate One. RacerMate One is fully functional and tested for up to 2 riders. Release #1 of Race

Source URL: www.racermateinc.com

• Computer architecture
• Microsoft Windows
• Software
• Windows XP
• Windows Vista
• Windows Update
• Windows 7
• Installation
• Double-click
• Windows 10
• Control Panel

Acceptance Testing for Continuous Delivery Dave Farley http://www.davefarley.net @davefarley77

Source URL: xebicon.nl

• Software testing
• Software development
• Software engineering
• Product testing
• Test automation
• Unit testing
• Acceptance testing
• Acceptance testdriven development
• Test-driven development